Reconfiguration Testing for Cooperating Autonomous Agents
نویسندگان
چکیده
In order to verify reconfiguration of interacting autonomous agents to be exclusively beneficial and never hazardous to cyber-physical systems, this article suggests a systematic approach based on incremental model-based testing and illustrates its application to cooperating mobile robots.
منابع مشابه
An Approach to Process Automation Based on Cooperating Subprocess Agents
An approach to extend process automation systems with cooperating subprocess agents is presented in this paper. According to this approach a society of subprocess agents supervises an ordinary process automation system. The functionality of this agent layer includes supervising the lower-level automation system, semi-autonomous reconfiguration of its control logic when needed and query processi...
متن کاملModular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
While traditionally the environment considered by an autonomous mechatronic systems only consists of the measurable, surrounding physical world, today advanced mechatronic systems also include the context established by the information technology. This trend makes mechatronic systems possible which consist of cooperating agents which optimize and reconfigure the system behavior by adjusting the...
متن کاملA Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent
In this paper, we present a consensus algorithm for synchronous distributed systems using cooperating mobile agents. The algorithm is designed within a framework for mobile agent enabled distributed server groups (MADSG), where cooperating mobile agents are used to achieve coordination among the servers. Being autonomous and cooperative, cooperating mobile agents exchange information among them...
متن کاملAppears in Working Notes of the AAAI Fall Symposium on Model - Directed Autonomous Systems Cambridge , Massachusetts , November 1997
The Distributed CIRCA (D-CIRCA) project is fo-cused on developing planning technology to concurrently build and execute real-time control plans for multiple cooperating autonomous agents. In this paper , we demonstrate how the goals of the D-CIRCA program relating to distributed, cooperating agents motivate our recent work on Dynamic Abstraction Planning (DAP). We contend that problems of incom...
متن کاملAppears in Working Notes of the AAAI Fall Symposium on Model - Directed Autonomous Systems
The Distributed CIRCA (D-CIRCA) project is fo-cused on developing planning technology to concurrently build and execute real-time control plans for multiple cooperating autonomous agents. In this paper , we demonstrate how the goals of the D-CIRCA program relating to distributed, cooperating agents motivate our recent work on Dynamic Abstraction Planning (DAP). We contend that problems of incom...
متن کامل